The Calculemus Research Training Network – A short Overview ∗
نویسنده
چکیده
Calculemus research aims at the integration of systems for symbolic computation and symbolic reasoning and is related to the QPQ initiative. It is in the spirit of both projects to discuss these connections and potential collaborations. The following text sketches the structure and scientific contributions of the Calculemus Research Training Network (Calculemus RTN; see Figure 1 for the partner sites) since its start in September 2000. It has been reproduced from the networks midterm report [22] and credit is due to all researchers of the Calculemus RTN. More than 28 young visiting researchers (with a sum approx. 150 financed person-months) have been supported by the network so far and approx. 47 senior researchers are involved in the training measures at the different partner sites.
منابع مشابه
Short-term Prediction of Tehran Stock Exchange Price Index (TEPIX): Using Artificial Neural Network (ANN)
The main objective of this study is to find out whether an Artificial Neural Network (ANN) will be useful to predict stock market price, which is highly non-linear and uncertain. Specifically, this study will focus on forecasting TSE Price Index (TEPIX) as the most significant index of Iran Stock Market. Many data have been used as inputs to the network. These data are observations of 2000 day...
متن کاملResearch and Collaboration Overview of Institut Pasteur International Network: A Bibliometric Approach toward Research Funding Decisions
Background Institut Pasteur International Network (IPIN), which includes 32 research institutes around the world, is a network of research and expertise to fight against infectious diseases. A scientometric approach was applied to describe research and collaboration activities of IPIN. Methods Publications were identified using a manual search of IPIN member addresses in Science Citation Inde...
متن کاملOverview of the Medical Question Answering Task at TREC 2017 LiveQA
We present an overview of the medical question answering task organized at the TREC 2017 LiveQA track. The task addresses the automatic answering of consumer health questions received by the U.S. National Library of Medicine. We provided both training question-answer pairs, and test questions with reference answers. All questions were manually annotated with the main entities (foci) and questio...
متن کاملA Short Overview of Ebola Outbreak
Ebola virus disease (formerly known as Ebola haemorrhagic fever) is a severe, often fatal illness, with a death rate of up to 90%. The illness affects humans and nonhuman primates (monkeys, gorillas, and chimpanzees). Ebola first appeared in 1976 in two simultaneous outbreaks, one in a village near the Ebola River in the Democratic Republic of Congo, and the other in a remote area of Sudan. T...
متن کاملA short overview about cadmium and its toxicity focused on humans, bioindicators and model organisms
According to Paracelsus (1493-1541) everything from this planet is poison, only the dose makes the poison to be harmless. Even the essential elements for life support are toxic for all organisms in high amounts. Mercury, cadmium, metalloid arsenic and lead were responsible for poisoning and death of many humans and life forms from this planet for centuries. Cadmium forms different compounds tha...
متن کامل